Your search returned 60 results. Subscribe to this search

|
1. Elements of Computer Security [electronic resource] / by David Salomon.

by Salomon, David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
2. Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.

by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
3. Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.

by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
4. Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.

by Dowek, Gilles | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
5. Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.

by O'Regan, Gerard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
6. Core Concepts in Data Analysis: Summarization, Correlation and Visualization [electronic resource] / by Boris Mirkin.

by Mirkin, Boris | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
7. Introduction to Artificial Intelligence [electronic resource] / by Wolfgang Ertel.

by Ertel, Wolfgang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
8. Analysis for Computer Scientists [electronic resource] : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann.

by Oberguggenberger, Michael | Ostermann, Alexander | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
9. Pattern Recognition [electronic resource] : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi.

by Murty, M. Narasimha | Devi, V. Susheela | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
10. Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.

by Mogensen, Torben Ægidius | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
11. Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers.

by Chalmers, Dan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
12. Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson.

by Nielson, Hanne Riis | Nielson, Flemming | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
13. Object-Oriented Programming Languages: Interpretation [electronic resource] / by Iain D. Craig.

by Craig, Iain D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
14. Practical Distributed Processing [electronic resource] / by Phillip J. Brooke, Richard F. Paige.

by Brooke, Phillip J | Paige, Richard F | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
15. Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka.

by Kifer, Michael | Smolka, Scott A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
16. Sets, Logic and Maths for Computing [electronic resource] / by David Makinson.

by Makinson, David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
17. Introduction to Computer Graphics [electronic resource] : Using Java 2D and 3D / by Frank Klawonn.

by Klawonn, Frank | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
18. A Concise Introduction to Data Compression [electronic resource] / by David Salomon.

by Salomon, David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
19. A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes.

by Parkes, Alan P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
20. Principles of Digital Image Processing [electronic resource] : Fundamental Techniques / by Wilhelm Burger, Mark James Burge.

by Burger, Wilhelm | Burge, Mark James | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue